101. Applications of sheaves: proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Sheaf theory
رده :
QA
3
.
L28
no
.
753
102. Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977
پدیدآورنده : edited by M. P. Fourman, C. J. Mulvey, and D. S. Scott
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Sheaf theory
رده :
QA
1
.
L4
v
.
753
103. Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977
پدیدآورنده : edited by M. P. Fourman, C. J. Mulvey, and D. S. Scott
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Sheaf theory
رده :
QA
612
.
36
.
R4
1977
104. Applied Mathematics
پدیدآورنده : by Francis J. Murray.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Science (General).
105. Applied Mathematics: Body and Soul
پدیدآورنده : by Kenneth Eriksson, Donald Estep, Claes Johnson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Chemistry-- Mathematics.,Computer science-- Mathematics.,Engineering mathematics.,Global analysis (Mathematics).,Mathematical physics.,Mathematics.,Matrix theory.
106. Applied Mathematics: Body and Soul
پدیدآورنده : by Kenneth Eriksson, Donald Estep, Claes Johnson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Chemistry-- Mathematics.,Computer science-- Mathematics.,Engineering mathematics.,Global analysis (Mathematics).,Mathematical physics.,Mathematics.,Matrix theory.
107. Applied Mathematics: Body and Soul
پدیدآورنده : by Kenneth Eriksson, Claes Johnson, Donald Estep.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Chemistry-- Mathematics.,Computer science-- Mathematics.,Engineering mathematics.,Global analysis (Mathematics).,Mathematical physics.,Mathematics.,Matrix theory.
108. Applied Statistical Inferenc
پدیدآورنده : / electronic resource
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Statistics,Mathematical statistics,Statistics,Statistical Theory and Methods,Statistics for Life Sciences, Medicine, Health Sciences,Statistics and Computing/Statistics Programs
رده :
E-BOOK
109. Applied categorical structures
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Categories (Mathematics)- Periodicals.,Algebra- Periodicals.,Mathematical analysis- Periodicals.,Topology- Periodicals.,Computer science- Periodicals.
رده :
QA169
.
A65
1996
110. Applied engineering analysis /
پدیدآورنده : Tai-Ran Hsu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Engineering mathematics.,Engineering mathematics.,TECHNOLOGY & ENGINEERING-- Mechanical.
رده :
TA332
.
5
.
H78
2018
111. Applied linear algebra /
پدیدآورنده : Peter J. Olver, Chehrzad Shakiban.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebras, Linear.,Mathematics.,Algebra.,Mathematical physics.,Mathematics.
رده :
QA184
.
2
.
O48
2018
112. Applied mathematics and scientific computing :
پدیدآورنده : B. Rushi Kumar, R. Sivaraj, B.S.R.V. Prasad, M. Nalliah, A. Subramanyam Reddy, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra, Congresses.,Mathematical analysis, Congresses.,Applications of Mathematics.,Computational Science and Engineering.,Algebra.,Mathematical analysis.
رده :
QA150
113. Approaches to Algebra :
پدیدآورنده : edited by Nadine Bernarz, Carolyn Kieran, Lesley Lee.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Education.,Mathematics.
رده :
QA159
.
E358
1996
114. Artificial intelligence for big data :
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Big data.,Business logistics-- Data processing.,Big data.,Business logistics-- Data processing.,COMPUTERS-- Databases-- Data Warehousing.
رده :
QA76
.
9
.
B45
.
D474
2018eb
115. Asymptotic and Numerical Methods for Partial Differential Equations with Critical Parameters
پدیدآورنده : edited by Hans G. Kaper, Marc Garbey, Gail W. Pieper.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Decomposition (Mathematics) -- Congresses.,Differential equations, Partial -- Asymptotic theory -- Congresses.,Differential equations, Partial -- Numerical solutions -- Congresses.
116. Asynchronous operators of sequential logic
پدیدآورنده : Vadim Vasyukevich
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Asynchronous circuits-- Design and construction,Logic design,Sequential machine theory,Sequential machine theory -- Mathematical models,Set theory,System analysis
رده :
QA76
.
9
.
L63
V37
2011
117. Asynchronous sequential machine design and analysis
پدیدآورنده : / Richard F. Tinder
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Asynchronous circuits, Mathematical models,Sequential circuits, Mathematical models,Sequential machine theory, Mathematical models,Asynchronous,Sequential,Sequencers,Logic,Machines,Digital,Self-timed,Arbiters
رده :
E-BOOK
118. Automated Deduction - A Basis for Applications
پدیدآورنده : edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
119. Automated Deduction - A Basis for Applications
پدیدآورنده : edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
